principle of substitution

  1. ikame prensibi